module atomic_predicates_for_transformers_20191231 {
	exports jdd.internal.profiler.tests;
	exports jdd.util.math;
	exports jdd.applet;
	exports jdd.bdd.sets;
	exports jdd.sat.gsat;
	exports transformer;
	exports jdd.util;
	exports jdd.util.sets;
	exports jdd.bdd;
	exports jdd.internal.profiler;
	exports jdd.examples;
	exports jdd.graph;
	exports jdd.internal.tutorial;
	exports jdd.des.strings;
	exports common;
	exports jdd.des.automata.bdd;
	exports jdd.des.petrinets;
	exports jdd.util.jre;
	exports jdd.zdd;
	exports jdd.util.mixedradix;
	exports jdd.des.petrinets.interactive;
	exports jdd.sat.bdd;
	exports jdd;
	exports jdd.util.zip;
	exports jdd.bed;
	exports jdd.internal.profiler.stubs;
	exports jdd.des.automata;
	exports jdd.sat;
	exports jdd.internal.hashtest;
	exports jdd.sat.dpll;
	exports jdd.bdd.debug;
	exports jdd.util.pool;
	exports jdd.internal.tests;
	exports jdd.des.automata.analysis;

	requires java.desktop;
	requires java.management;
	requires java.xml;
}